-
1 аксиома присваивания
Русско-английский большой базовый словарь > аксиома присваивания
-
2 аксиома присваивания
Большой англо-русский и русско-английский словарь > аксиома присваивания
-
3 аксиома присваивания
Information technology: axiom of assignmentУниверсальный русско-английский словарь > аксиома присваивания
-
4 аксиома присваивания
Русско-английский словарь по вычислительной технике и программированию > аксиома присваивания
-
5 аксиома
Русско-английский словарь по информационным технологиям > аксиома
-
6 символ оператора присваивания
Русско-английский словарь по информационным технологиям > символ оператора присваивания
-
7 axiom of assignment
Большой англо-русский и русско-английский словарь > axiom of assignment
-
8 axiom of assignment
English-Russian dictionary of computer science and programming > axiom of assignment
-
9 axiom of assignment
English-Russian information technology > axiom of assignment
-
10 reducibility axiom
-
11 equilibrium axiom
The English-Russian dictionary general scientific > equilibrium axiom
-
12 axiom of assignment
-
13 axiom
n аксиомаСинонимический ряд:1. assumption (noun) assumption; postulate; precept; premise2. fundamental principle (noun) basis; conception; fundamental principle; philosophy; theory; truth3. law (noun) fundamental; law; principium; principle; theorem; universal4. maxim (noun) aphorism; apothegm; brocard; dictum; gnome; maxim; moral; rule; truism5. self-evident truth (noun) adage; clichй; platitude; proverb; saying; self-evident truth -
14 single assignment
1. одноразоваое присваивание2. одноразовое присваивание -
15 система аксиом
-
16 address assignment
-
17 single assignment
English-Russian dictionary of Information technology > single assignment
-
18 name-address assignment
-
19 value assignment
-
20 value assignment
English-Russian big polytechnic dictionary > value assignment
- 1
- 2
См. также в других словарях:
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия